A More Precise Implementation Relation for Distributed Testing
نویسندگان
چکیده
منابع مشابه
A More Precise Implementation Relation for Distributed Testing
There has been significant interest in distributed testing from an input output transition system. Previous work introduced an implementation relation dioco that was defined in terms of an equivalence relation on traces (sequences of observations). This paper considers an alternative approach in which an observation made in testing is a tuple of local traces, one for each tester. This paper def...
متن کاملMore Precise Partition Abstractions
We define, for any partition of a state space and for formulas of the modal μ-calculus, two variants of precision for abstractions that have the partition set as state space. These variants are defined via satisfaction parity games in which the Refuter can replace a concrete state with any state in the same partition before, respectively after, a quantifier move. These games are independent of ...
متن کاملAnnotations for (more) Precise Points-to Analysis
We extend an existing points-to analysis for Java in two ways. First, we fully support .NET which has structs and parameter passing by reference. Second, we increase the precision for calls to nonanalyzable methods. A method is non-analyzable when its code is not available either because it is abstract (an interface method or an abstract class method), it is virtual and the callee cannot be sta...
متن کاملTesting the dynamic field theory: working memory for locations becomes more spatially precise over development.
The dynamic field theory predicts that biases toward remembered locations depend on the separation between targets, and the spatial precision of interactions in working memory that become enhanced over development. This was tested by varying the separation between A and B locations in a sandbox. Children searched for an object 6 times at an A location, followed by 3 trials at a B location. Two-...
متن کاملSpecification Facets for More Precise, Focused Documentation
Speci cation languages could aid reuse to a larger extent if they could document all important facets of software, not just functional behavior. Since a speci cation language designer cannot know exactly what aspects of a piece of software will be important, users should be able to do \metaspeci cation"; that is, users should be able to declare new facets, and then use these facets to specify t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2015
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/bxv057